数值求解纳米尺度热传导分数阶抛物两步模型

提出一个纳米尺度的分数阶抛物两步模型,得到金属纳米尺度热传导的精确数值格式.该模型是通过引入Caputo-Hadamard时间分数阶导数到抛物型两步能量输运方程中,并将其温度跃变边界条件耦合得到.数值格式基于空间四阶紧格式和Caputo-Hadamard时间分数阶导数的L1逼近格式而建立.通过2个算例验证模型和数值方法的准确性和适用性.     

一种新型氢化诺卜基双子季铵盐的合成及其抑菌活性研究

该文首先由N,N-二甲基乙醇胺与己二酸反应合成己二酸二(β-二甲胺基)乙酯,然后将己二酸二(β-二甲胺基)乙酯与氢化诺卜基溴按物质的量比例为1.0∶2.1进行反应,合成一种含二元酸酯基的氢化诺卜基双子季铵盐.产物结构用红外光谱、核磁共振(氢谱、碳谱)和质谱进行表征,用菌丝生长速率法评价了该季铵盐化合物对10种植物病原真菌的生长抑制作用.实验结果表明：当药液质量浓度为100.0 mg·L^-1时,该季铵盐化合物对松枯梢病病原菌、烟草黑胫病病原菌、彩绒革盖菌和七叶树壳梭孢菌的抑制率达97.0%～100.0%,远高于百菌清的抑制率,对水稻纹枯病病原菌的抑制率接近90.0%;当药液质量浓度为50.0 mg·L^-1时,该季铵盐化合物对以上5种病原菌的抑制率分别为100.0%、88.8%、86.8%、84.4%和77.2%,均超过对照样百菌清的抑制率.     

一种基于UPPAAL的智能合约属性形式化验证方法

针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.     

鹿茸草全长转录组测序与次生代谢产物生物合成相关基因的挖掘

为获得鹿茸草的全长转录组信息,挖掘鹿茸草次生代谢化合物生物合成途径相关酶的基因,该文基于单分子测序技术,利用Pacbio高通量测序平台,对鹿茸草进行全长转录组测序,共获得48 005条去冗余的高质量转录本,与NR、Swiss-Prot、GO、KEGG等8个数据库进行BLAST比对,共有45 362个转录本被成功注释,注释率为94.50%.其中有389条转录本被注释到KEGG的10条标准次生代谢生物合成通路中.对转录组数据进一步分析发现：参与鹿茸草苯丙素类生物合成的转录本有194条,参与生物碱类生物合成的转录本有115条,参与类黄酮化合物生物合成的转录本有23条,参与其他次生代谢产物的转录本有57条,参与次生代谢后氧化与糖基化修饰的转录本有204条.鹿茸草全长转录组的获得极大地丰富了鹿茸草的遗传信息,初步揭示了参与鹿茸草次生代谢产物合成相关的基因通路,为深入研究鹿茸草次生代谢产物合成途径关键酶的功能及其调控机制奠定了基础.     

汉江流域旅游气候舒适度的变化特征分析

基于江汉流域36个气象站点30年(1981-2010年)的日平均气温、平均相对湿度、平均风速和日照时数数据,计算得到其逐日温湿指数等级值和风效指数等级值,据此分析汉江流域旅游气候舒适度的时空变化特征。结果表明:汉江流域旅游气候舒适度具有较好的年内变化一致性,最为舒适的时间为4月下旬至5月上旬和9月下旬至10月上旬;汉江流域内旅游气候舒适度自上游至下游呈现出从较舒适至较不舒适的趋势;最后据此提出了汉江流域旅游开发利用的几点建议。
     

改进的非局部均值Wiener滤波图像复原算法研究

图像复原在数字图像处理中具有十分重要的意义,针对当前流行的图像复原算法存在复原效果不理想的特点,提出了一种基于图像分离的改进的非局部均值滤波图像复原算法。本算法首先采用基于范数L0梯度最小化复原算法完成对图像平滑部分的复原,然后采用波原子变换来实现对图像细节部分的复原,最后采用改进的非局部均值滤波来处理波原子变换产生的振铃效应和虚假边缘。实验结果表明本复原算法与当前流行的图像复原算法相比,在图像复原的主客观效果上都有一定的提高。
     

非奇异H-矩阵的含参量实用判别法则

非奇异H-矩阵是有着广泛应用的重要矩阵类,但在实用中其判定是十分困难的。本文根据a-对角占优矩阵与非奇异H-矩阵的关系,通过区间细分的方法,得出了非奇异H-矩阵的含参量实用判别法则,对已有的相关结果进行了推广和改进,并用数值算例证实了该判定准则的有效性。
     

一类退缩反应扩散方程组的整体解的存在性与猝灭

分析了一类退缩反应扩散方程组的初边值问题,讨论了此方程组整体解存在的条件,证明了当区域Ω的直径适当小时,解是全局存在的;当Ω的直径适当大时,解会在有限时刻发生猝灭现象,得到了Ω直径的量化范围.     

自组装法制备丝心蛋白微球

采用自组装法以脱胶天然蚕丝为原料,制备了丝心蛋白微球.对影响微球的成球效果的因素如搅拌速度、乙醇(Et OH)用量、丝心蛋白(SF)浓度和冷冻温度进行了初步探索.结果表明:当V(Et OH)/V(SF)=1︰20,w(SF)=7.0%时,以n=100 r/min的速度进行搅拌,再放入-20℃环境下冷冻24 h最后室温融化,可获得较理想的丝心蛋白微球.     

高阶平均向量场方法在 Allen-Cahn 方程中的应用

Allen-Cahn方程是材料科学中描述流体动力学问题和反应扩散问题中的一类重要方程。Allen-Cahn方程的能量具有散逸性,即能量会随着时间的增长会逐渐降低。在数值模拟中,设计精确地保持Allen-Cahn 方程能量散逸性的格式对模拟方程的演化具有显著的优点。目前,保 Allen-Cahn 方程能量散逸性的数值格式都是低阶的。最近有人构造了保持常微分方程能量散逸特性的高阶平均向量场方法,是一种有效的离散梯度法。国内外还少有人把保能量散逸性的高阶离散梯度方法应用于能量散逸性的偏微分方程。在这里,我们利用高阶离散梯度方法构造了 Allen-Cahn方程的高阶格式。新的高阶格式能很好地长时间模拟 Allen-Cahn 方程数值解的演化,很好地长时间保持了 Allen-Cahn 方程的内在特性。